PyDigger - unearthing stuff about Python
| Name | Version | Summary | date |
|---|---|---|---|
| smcplaus | 1.1.5 | A symbolic model checker for the single-agent plausibility models of dynamic epistemic logic | 2024-01-08 15:26:59 |
David Alvarez Lombardi
| hour | day | week | total |
|---|---|---|---|
| 101 | 1979 | 10380 | 210951 |